Project-Team:DEDUCTEAM

Project-Team Deducteam

Team, Visitors, External Collaborators

Overall Objectives

Objectives
History

Research Program

Logical Frameworks
Interoperability and proof encyclopediae
Interactive theorem proving

Application Domains

Interoperability

New Software and Platforms

Autotheo
CoLoR
Coqine
Dedukti
Holide
HOT
iProver Modulo
mSAT
Rainbow
Krajono
archsat
lrat2dk
ekstrakto
SizeChangeTool
Logipedia

New Results

Implementation of Dedukti
Theory of λΠ-calculus modulo rewriting
Proof reconstruction
Translating proofs to Dedukti
Models of cubical type theory
A proof system for PCTL and CTL*
System I
Computing with global environments
Computional interpretation of the axiom scheme of comprehension
Alignment of logical connectives
Quantum Computing

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

Regional Initiatives
National Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Inria | Raweb 2019 | Presentation of the Project-Team DEDUCTEAM | DEDUCTEAM Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: New Results

Quantum Computing

The article Two linearities for quantum computing in the lambda calculus, of Alejandro Díaz-Caro, Gilles Dowek, and Juan Pablo Rinaldi, first published in the proceedings of Theory and Practice of Natural Computing 2017, has been published in the journal Biosystems.

Previous |

Home | Next next